loading SCIP...
17 31312 true
3 11 16 27 28 33 43 45 50 55 57 61 76 84 88 98 99