Definition of Not Satisfied