Constraint Satisfaction Problem over a Fixed Template