6.92/9.13	unsat
