1172.98/1173.02	unsat
