loading SCIP...
29 10937 true
2 4 5 7 14 16 22 23 24 39 48 49 55 58 59 64 67 68 69 72 74 75 82 83 84 88 93 95 97