faster 3SAT-R2