4.87/5.88	unsat
