solve x+3=10