loading SCIP...
12 36735 true
1 4 14 22 29 38 52 57 58 59 62 81