with solve