5.79/5.88	unsat
