loading SCIP...
18 27516 true
3 7 13 15 16 20 22 23 28 43 52 63 81 85 86 88 89 99