All solutions found and documented by Petr Diblík.

See Petr's page.