Worked on the solving algorithm in ArjunTest