6.17/9.08	unsat
