model:sets:d/1..12/:x,y,k;endsetsmax=@sum(d(i):x(i)*y(i));@for(d:@gin(x));@for(d:@mod(x,5)=0);x(12)>=20;y(1)>=13;@for(d(i):k(i)=@sum(d(j) | j#le#i : y(j)));@for(d(i) : (x(i)*x(i)/4+k(i)*k(i))<=325*325);end