6.94/9.12	unsat
