192.71/194.02	unsat
