org.sosy-lab javasmt-solver-mathsat5 5.6.11-sosy1 5.6.11-sosy1 5.6.5 5.6.6 5.6.6-sosy0 5.6.6-sosy1 5.6.8 5.6.10 5.6.11 5.6.11-glibc2.27 5.6.11-sosy0 5.6.11-sosy1 20250323084648