{Method -> {"{\"ConditionSimplifier\" -> Reduce}", 
   "{\"ValueSimplifier\" -> Simplify}", "{\"OrderlessConditions\" -> True}", 
   "{\"ExpandSpecialPiecewise\" -> {If, UnitStep}}", 
   "{\"BooleanResult\" -> False}"}, TimeConstraint -> {"1", "10"}}
