loading SCIP...
25 15156 true
7 9 14 15 18 25 26 33 35 37 41 43 44 52 53 55 57 58 59 65 68 69 75 80 97