7.17/9.96	unsat
