Fixed constraint satisfaction