194.18/194.42	unsat
