Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer