loading SCIP...
44 781 true
1 2 3 4 5 11 12 13 14 16 18 20 22 23 24 30 35 36 38 39 40 43 44 48 49 52 55 58 68 69 70 74 75 76 77 78 79 81 82 88 89 93 96 99