solve {x+y=3, x>0, y>0} over integers