Acestea sunt genul de probleme pe care SAT le-ar descoperi, dar sistemul UC nu are voie să ceară sau să se uite la rezultatele testelor