1042.52/1047.48	unsat
