From Linear to Logarithmic SAT Calls