Projective wellorders and mad families with large continuum

We show that b=c=ω3 is consistent with the existence of a Δ31-definable wellorder of the reals and a Π21-definable ω-mad subfamily of [ω]ω (resp. ωω).