Time-Free and Timer-Based Assumptions Can Be Combined to Solve Authenticated Byzantine Consensus