loading SCIP...
13 33203 true
5 9 21 26 61 65 67 68 78 79 81 88 97