INMO 2020 Problem 6
A stromino is a rectangle. Show that a board divided into twenty-five squares cannot be covered by 16 strominos such that each stromino covers exactly three unit squares of the board and every unit square is covered by either one or two strominos. (A stromino can be placed either horizontally or vertically on the board.)
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.