(:name "fancy solver #12")