loading SCIP...
8 51578 true
7 10 16 22 30 40 62 96