5.89/7.88	unsat
