小明在求二元一次方程x+2y=10的一个正整数解时，他已求出了y的值为3，则x的值应为.