Move exos from 5.tex to 6.tex