1071.80/1073.78	unsat
