An Improved Upper Bound for SAT