solver naive workaround