Super Mario Bros Deluxe (GBC) (con manual)