stl-realizability-satisfiability