loading SCIP...
29 13531 true
4 6 7 8 10 13 18 25 31 34 37 39 44 46 47 50 52 54 55 64 67 68 69 74 78 88 89 96 99