6.68/8.51	unsat
