loading SCIP...
14 39562 true
10 12 15 25 27 28 40 43 48 52 66 68 69 93