6.89/9.96	unsat
