loading SCIP...
12 37812 true
3 15 21 29 37 47 49 68 76 86 90 93