Counting solutions to random constraint satisfaction problems - Allan Sly