Ce sont les types de problèmes que le SAT mettrait en évidence, mais le système UC n'est pas autorisé à demander ou à examiner les résultats des tests.