6.88/8.07	unsat
