loading SCIP...
59 78 true
3 4 5 7 8 9 10 11 12 13 14 15 16 17 18 23 24 28 29 30 35 37 40 41 42 43 45 46 47 49 50 51 52 53 55 56 57 58 59 60 61 62 63 66 67 68 69 70 71 73 76 77 78 81 82 88 93 97 98