loading SCIP...
17 36953 true
2 3 12 22 32 35 41 56 60 65 67 79 82 85 87 88 95