  We give a computer-based proof of the following fact: If a square is tiled by
seven convex tiles which are congruent among themselves, then the tiles are
rectangles. This confirms a new case of a conjecture posed by Yuen, Zamfirescu
and Zamfirescu.
