1067.51/1071.77	unsat
