lecture 4 satisfaction of constraints 9559695