DPLY
16 following