loading SCIP...
13 38015 true
3 6 7 22 35 37 39 77 83 85 87 90 97