193.25/193.68	unsat
