191.34/194.50	unsat
