6.28/9.96	unsat
