loading SCIP...
14 40562 true
1 8 10 17 24 25 27 31 47 52 54 55 76 80