satisfiable_ai
