Model: Place 3 ones such that no two are adjacent. To enforce non-adjacency, we can use the "stars and bars with gaps" method.