pushpush
XCZ.KR - PROB1.[1000]SOLVER:1333START!