192.99/193.41	unsat
