changed bench/sll0a to remove useless formulas replacing emp and to generate real sat problems