loading SCIP...
14 35828 true
8 17 20 24 28 31 35 40 45 50 51 62 73 80