6.97/10.96	unsat
