186.66/189.64	unsat
