185.34/192.00	unsat
