Sonlu SAT priz mekanizması