Adding solving.txt