BMC 2016
Autor: Petr Bureš
          0x