Determining if a Solution is a Buffer