main.py in sosat/ for Dominik.