4.88/5.08	unsat
