beginning 3SAT-R1