Please put those file on disk, or on atr file or simply copy and run from sio2sd or another device which allows running executables.
Run flasher _WITH_ BASIC enabled (there is a need to run with MEMTOP set as $A000)
When program says:

	Insert Cartridge

put the cartridge into cart slot gently.

When all is ok, the menu will appear:

	Press:
	START  - format cart and programm
	SELECT - verify; repair bad blocks.
	OPTION - verify only

Choose your option (START will be good)