sta4j-solve improved