5.81/7.88	unsat
