loading SCIP...
13 37469 true
26 36 44 48 66 69 73 78 84 85 87 92 97