loading SCIP...
14 36344 true
5 8 13 14 17 22 26 28 37 42 55 73 88 99