Small Bugfix related to SOTA and SAT
