loading SCIP...
21 23812 true
5 7 10 12 22 28 41 43 44 45 47 53 56 57 61 71 72 79 91 93 95