Условие
Какое наибольшее число королей можно поставить на доске $2020 \times 2023$, чтобы они не били друг друга?