1037.55/1042.08	unsat
