King solver N au
    c.ai