194.64/194.90	unsat
