The best solver ever