loading SCIP...
12 37922 true
6 8 20 30 45 52 54 64 74 81 85 89