Problem spełnialności