ksnctf20 solver