Problem_spełnialności loading ...