Show that reduction from SAS+ to SAT is polynomial time

[wimmers]

There is already a reduction from SAS+ to SAT. We need to show that it runs in polynomial time (and only incurs polynomial blowup).