194.07/194.31	unsat
