loading SCIP...
12 39922 true
1 33 39 45 48 51 57 68 78 88 90 93