191.07/192.57	unsat
