sat(??P) loops and loops feat