Vilho Kivihalme / Divisium-3 solver