1036.28/1040.67	unsat
