defipoly_sol (Defipoly)