Lower bounding the MaxCut of high girth 3-regular graphs using the QAOA — arXiv2