Solving satisfiability in the tile assembly model with a constant-size tileset