4.28/4.82	unsat
