Solver4j is coming (ub22)