recognises when no solutions exists