Use only a single solver instance