s20-08 Exponential time algorithms