4.67/4.88	unsat
