Random constraint satisfaction: Easy generation of hard (satisfiable) instances