loading SCIP...
38 1907 true
3 5 7 8 12 15 19 20 23 25 29 31 36 37 39 41 44 47 54 57 58 64 66 67 69 72 73 76 77 85 86 87 88 89 90 92 93 98