loading SCIP...
11 44891 true
10 34 46 49 52 54 63 73 83 87 90