Modify solver to make xp easier. Add new SAT xp results
Add last xp, ready for paper