loading SCIP...
14 36781 true
9 12 20 22 24 28 48 49 52 61 63 79 80 95