loading SCIP...
14 35187 true
0 8 10 11 14 16 35 49 52 59 61 63 83 89