loading SCIP...
29 10875 true
2 5 6 7 8 11 13 19 20 22 24 26 29 31 32 33 37 45 49 54 60 61 69 81 83 84 93 96 99