Worst-Case Upper Bounds for kSAT (Column: Algorithmics)