191.39/194.14	unsat
