NP reduction: Reduction from SAT to 3SAT