Competitions EDA Challenge MaxSAT Evaluation 2021 Model Counting Competition 2021 SAT Competition 2021