P-sufficient statistics for PAC learning k-term-DNF formulas through enumeration