Added auto-solving.