using (naively yet) solutions of IntIdSolver in Idea