Problème SAT : Progrès et défis