23-01-12-faster_than_the_speed_of_Rene(2)

Suboptimal Synthesis