tail+als solver