Added solutions for BDD