loading SCIP...
22 22359 true
3 8 9 11 12 16 19 25 28 35 52 53 67 70 73 75 77 83 87 93 94 97