192.29/193.45	unsat
