4.37/4.82	unsat
