193.99/194.05	unsat
