1041.08/1042.67	unsat
