1041.43/1043.49	unsat
