7.68/10.51	unsat
