Add solutions to 01_equalities