truck.sat