1034.04/1038.52	unsat
