Right (RspName "fancy solver #12")