BMC 2018
Autor: Petr Bureš
          0x