6.88/8.16	unsat
