1041.71/1043.90	unsat
