Sat Formula