loading SCIP...
29 10781 true
2 3 11 12 14 15 22 30 31 33 38 40 42 49 50 51 58 60 61 64 65 68 71 83 85 94 96 97 98