func_approx_sat