194.25/194.72	unsat
