g4.sat