-- TODO: add all the solutions to corresponding files