satisfy_calc
