Poprawienie problemu spełnialności