Added example with unsatisfiable property