lecture 5 constraint satisfaction ii 4240124