191.59/192.31	unsat
