theorem :: NUMBER15:68

<*15,20,12*> is a_solution_of_Sierp168