The ordered pair (3, –1) is a solution of which system?