loading SCIP...
9 47063 true
0 14 18 30 61 63 76 81 82