* for sat_recompute