6.77/7.88	unsat
