все находится почти правильно, но знак неверный. когда меняю на нужный все становится true. смотрим solve и insert