Add solution to BigBurger
Add a solution to BinaryCardinality