add-masterksat.txt added
Merge pull request #1554 from masterksat/masterksat

Merging PR from @masterksat