Extended solution counts to 1523154.