[SolutionEquality] added program with functions