Koper Second Branded. Maxsat algorithm example. En 61000 3 3 2013 a2 2021. Makamou hibiki.