let
decay_clause_utility_ratio = 2