loading SCIP...
13 38953 true
5 7 11 19 30 34 39 42 45 52 60 68 76