g5.sat