
$c_1 = 2c_2 + c_3 + 2c_5$
