Is (0,1) a solution to #1-x>=3y, 3y-1>2x#?