loading SCIP...
14 39562 true
5 13 19 20 28 35 42 63 66 73 81 84 93 94