loading SCIP...
27 14062 true
4 15 20 22 25 29 34 42 43 45 46 48 49 52 54 57 58 59 62 73 80 82 84 88 91 92 93