Update src/main/java/de/unihl/algo/three_sat_crititcal_number/Main.java

revert