loading SCIP...
12 38812 true
29 33 34 37 43 48 51 56 58 59 70 87