satifiable