more generic LHHs
3SAT-R2 finished