Some Preliminary Satisfies done