loading SCIP...
12 38953 true
18 19 22 25 29 31 53 56 59 64 67 77