no more rule on solver