The Independent set problem and the thinness of a graph