8.68/9.51	unsat
