loading SCIP...
8 46172 true
26 42 44 45 65 70 83 84