193.39/193.73	unsat
