s19-08 Exponential time algorithms