Diferente pentru problema/bytes intre reviziile #4 si #5
Nu exista diferente intre titluri.
Diferente intre continut:
* For tests worth $20$ points, $1 ≤ k ≤ 10$ * For tests worth $30$ more points, there aren't any negated literals * For tests worth another $20$ points, $1 ≤ k ≤ 12$
* The scores from the contest might be different than the scores you get here
h2. Exemplu
