1040.98/1043.81	unsat
