6.85/7.69	unsat
