loading SCIP...
44 391 true
4 8 10 15 17 23 24 25 28 30 33 35 36 37 39 40 41 43 48 52 55 58 59 60 61 63 64 65 66 68 70 72 75 76 77 78 79 88 89 90 95 96 97 99