Carlos foi a uma lanchonete e pagou R$ 4,00 por um sanduíche e um copo de refresco, enquanto João pagou R$ 7,50 por dois sanduíches iguais ao de Carlos e um copo do mesmo refresco, na mesma lanchonete. Qual é o preço do sanduíche que eles consumiram?