5.79/7.88	unsat
