3.85/5.88	unsat
