Also the solution in confirmed by another solver