一定要用15分钟来选：

N:=80;

V>=HHV(V,N);