loading SCIP...
21 23922 true
1 5 17 22 25 44 50 53 57 59 62 65 67 69 72 75 81 82 86 87 94