6.88/7.75	unsat
