loading SCIP...
44 1032 true
3 5 7 9 11 13 15 18 20 22 23 24 27 33 34 36 37 38 40 42 43 44 49 54 57 58 59 61 65 70 71 77 79 81 82 84 85 87 88 89 90 93 95 96