buggy.sat