exactly solvable model