7.68/9.71	unsat
