Mergal vse SAT solverje v sat.py
Changed file names