loading SCIP...
13 39562 true
4 10 12 17 27 33 36 58 63 64 68 86 91