loading SCIP...
44 1219 true
1 4 8 11 12 13 15 16 18 20 22 25 26 28 32 48 49 53 55 56 57 59 60 61 62 64 66 67 68 69 72 73 78 79 82 83 85 87 88 92 93 94 96 97