Գրեք սա: Constraint satisfaction problems