SATFINAL_
No patterns found