3SAT can't be solved in sub-exponential time

Fwiw never thought it was a well-named conjecture