New puzzle from Codeforces Problem 467 A

[akalai]

def sat(ans: List[List[int]]):
 """
 Find a list of lists of two integers where the number of pairs in which the second number is more than
 two greater than the first number is a given constant

 Inspired by [Codeforces Problem 467 A](https://codeforces.com/problemset/problem/467/A)
 """
 target = 17
 for i in range(len(ans)):
 a, b = ans[i]
 if b - a >= 2:
 target -= 1
 return target == 0

Solvers, post your solutions in the comments using the following formatting:

<details><summary>Reveal solution</summary>

```python
def sol():
 return "world" # replace with your solution
```
</details>