1039.02/1043.67	unsat
