Solving with Xxavy