191.25/193.44	unsat
