SAT_Not_Const_Time.SAT_Not_Const_Time