Проблемы с SAT: что делать, если система не работает