Parameterized Algorithm for 3-SAT