Searching in test/IntegerBuiltins/mad_sat