loading SCIP...
59 78 true
3 4 6 8 10 15 16 19 20 21 22 24 25 28 32 33 36 37 38 39 41 42 43 45 46 48 49 50 51 53 54 55 57 58 59 60 61 62 63 64 67 69 71 72 73 75 76 78 79 84 85 88 90 91 92 93 94 95 97