solve b * c + d = 2016 and c = 2 and d > 0 over the integers