Si la suma del doble de un número con la tercera
parte de dicho número es 42, ¿qué número es?