Sol is too hard to be empty