We use explicit methods for computing in the cohomology of a Shimura curve to compute spaces of Hilbert modular forms. As a consequence, we construct nonsolvable finite extensions of the rational numbers ramified only at 3 and 5, respectively. This is joint work with Matthew Greenberg and Lassina Dembele.