loading SCIP...
13 24531 true
7 17 20 23 30 32 54 55 63 65 66 77 97