loading SCIP...
18 27656 true
14 17 18 27 42 43 50 51 52 53 58 63 64 68 85 88 93 97