new tyannot solver