King solver N
    c.ai