Full solution for 3.12 is here.  It requires a few steps of area transformation.