satisfyings: x