6.97/10.35	unsat
