loading SCIP...
34 6625 true
1 2 3 6 13 14 15 18 25 28 29 31 33 36 37 38 41 44 47 50 51 53 61 66 68 71 75 81 82 84 87 92 96 97