correct compilation of sat problems for slsat