loading SCIP...
12 37812 true
30 39 44 45 59 60 62 63 78 84 89 92