JSolver is coming (ub22)