Когда я реализую тот же код, я получаю результат 'Неисполнимый'.
Это имеет смысл, так как все ваши переменные W, X, Y, Z
должны быть целыми числами, но затем вы ограничиваете их значением больше 0,1, и меньше, чем другое число, которое меньше 1.
Нет целых чисел в диапазоне от 0,1 до 0.XX, поэтому не существует допустимого решения.