brute.sat