Solved issue with simple sat expression (not equality)