Você consegue resolver estes problemas de matemática do SAT?