Solutions by Petr Roubicek.