nproc=10 r=2147483647 k=2147483647 answer=256357661 timelimit=12