exact min of c.y over S cap box (x3,x4 in (1/3)Z, |.|<=8; y5=0 by lineality): 25 at (x3,x4) = ['0', '0']
c.x_Q = 223/9 = 24.77777777777778  <  25
