31-7k \ge 6