constraint satisfaction problems 5287400