188.81/189.24	unsat
