6.18/9.69	unsat
