loading SCIP...
8 29407 true
4 17 20 56 59 66 70 73