dwarf.sat