6.89/9.51	unsat
