Add satisfyability