7.69/9.68	unsat
