loading SCIP...
8 29078 true
4 16 17 38 45 61 72 96