Exact Inference in DSGE Models