New questions and challenges in SAT