A Satisfiability Algorithm For Constant Depth Boolean Circuits With Unbounded Fan-In Gates