193.00/193.61	unsat
