191.05/193.34	unsat
