185.11/186.82	unsat
