King solver n
    c.ai