loading SCIP...
12 36735 true
3 8 12 26 28 32 41 47 58 60 63 86