(define (problem trucks1)
(:domain trucks)
(:objects pack1 pack2 pack3 truck1 truck2 city1 city2 loc1-1 loc1-2 loc1-3 loc1-4 loc2-1 loc2-2 loc2-3)
(:init
  (package pack1)
  (package pack2)
  (package pack3)
  (truck truck1)
  (truck truck2)
  (city city1)
  (city city2)
  (location loc1-1)
  (location loc1-2)
  (location loc1-3)
  (location loc1-4)
  (location loc2-1)
  (location loc2-2)
  (location loc2-3)
  (in-city loc1-1 city1)
  (in-city loc1-2 city1)
  (in-city loc1-3 city1)
  (in-city loc1-4 city1)
  (in-city loc2-1 city2)
  (in-city loc2-2 city2)
  (in-city loc2-3 city2)
  (at pack1 loc1-1)
  (at pack2 loc1-2)
  (at pack3 loc2-2)
  (at truck1 loc1-4)
  (at truck2 loc2-2)
)
(:goal 
  (and 
    (at pack1 loc1-2)
    (at pack2 loc1-3)
    (at pack3 loc2-3)
  )
))