(defproblem UMtranslog
   (
 (obj-at PACKAGE20 CITY4-CL2)
 (type PACKAGE20 SMALLPACKAGE)
 (type TRUCK8-1 SMALLTRUCK)
 (truck-at TRUCK8-1 CITY1-CL2)
 (truck TRUCK8-1 CITY1)
 (type TRUCK3-1 MEDIUMTRUCK)
 (truck-at TRUCK3-1 CITY1-CL2)
 (truck TRUCK3-1 CITY1)
 (type TRUCK6-1 BIGTRUCK)
 (truck-at TRUCK6-1 CITY1-AP1)
 (truck TRUCK6-1 CITY1)
 (type TRUCK5-1 TRUCK)
 (truck-at TRUCK5-1 CITY1-CL1)
 (truck TRUCK5-1 CITY1)
 (type TRUCK6-2 BIGTRUCK)
 (truck-at TRUCK6-2 CITY2-CL1)
 (truck TRUCK6-2 CITY2)
 (type TRUCK4-2 SMALLTRUCK)
 (truck-at TRUCK4-2 CITY2-CL3)
 (truck TRUCK4-2 CITY2)
 (type TRUCK5-2 TRUCK)
 (truck-at TRUCK5-2 CITY2-CL2)
 (truck TRUCK5-2 CITY2)
 (type TRUCK7-2 MEDIUMTRUCK)
 (truck-at TRUCK7-2 CITY2-CL3)
 (truck TRUCK7-2 CITY2)
 (type TRUCK5-3 TRUCK)
 (truck-at TRUCK5-3 CITY3-AP3)
 (truck TRUCK5-3 CITY3)
 (type TRUCK4-3 SMALLTRUCK)
 (truck-at TRUCK4-3 CITY3-CL3)
 (truck TRUCK4-3 CITY3)
 (type TRUCK2-3 BIGTRUCK)
 (truck-at TRUCK2-3 CITY3-CL2)
 (truck TRUCK2-3 CITY3)
 (type TRUCK3-3 MEDIUMTRUCK)
 (truck-at TRUCK3-3 CITY3-CL2)
 (truck TRUCK3-3 CITY3)
 (type TRUCK1-4 TRUCK)
 (truck-at TRUCK1-4 CITY4-CL3)
 (truck TRUCK1-4 CITY4)
 (type TRUCK5-4 TRUCK)
 (truck-at TRUCK5-4 CITY4-CL1)
 (truck TRUCK5-4 CITY4)
 (type TRUCK2-4 BIGTRUCK)
 (truck-at TRUCK2-4 CITY4-CL1)
 (truck TRUCK2-4 CITY4)
 (type TRUCK8-4 SMALLTRUCK)
 (truck-at TRUCK8-4 CITY4-CL3)
 (truck TRUCK8-4 CITY4)
 (type TRUCK2-5 BIGTRUCK)
 (truck-at TRUCK2-5 CITY5-CL3)
 (truck TRUCK2-5 CITY5)
 (type TRUCK6-5 BIGTRUCK)
 (truck-at TRUCK6-5 CITY5-AP5)
 (truck TRUCK6-5 CITY5)
 (type TRUCK7-5 MEDIUMTRUCK)
 (truck-at TRUCK7-5 CITY5-AP5)
 (truck TRUCK7-5 CITY5)
 (type TRUCK4-5 SMALLTRUCK)
 (truck-at TRUCK4-5 CITY5-CL1)
 (truck TRUCK4-5 CITY5)
 (type PLANE5 PLANE)
 (airplane-at PLANE5 CITY1-AP1)
 (airplane PLANE5 CITY1)
 (type PLANE3 MEDIUMPLANE)
 (airplane-at PLANE3 CITY1-AP1)
 (airplane PLANE3 CITY1)
 (type PLANE17 PLANE)
 (airplane-at PLANE17 CITY3-AP3)
 (airplane PLANE17 CITY3)
 (type PLANE12 SMALLPLANE)
 (airplane-at PLANE12 CITY5-AP5)
 (airplane PLANE12 CITY5)
 (in-city CITY1-CL1 CITY1 ) 	
 (in-city CITY1-CL2 CITY1 ) 	
 (in-city CITY1-CL3 CITY1 )
 (in-city CITY2-CL1 CITY2 ) 	
 (in-city CITY2-CL2 CITY2 ) 	
 (in-city CITY2-CL3 CITY2 )
 (in-city CITY3-CL1 CITY3 ) 	
 (in-city CITY3-CL2 CITY3 ) 	
 (in-city CITY3-CL3 CITY3 )
 (in-city CITY4-CL1 CITY4 ) 	
 (in-city CITY4-CL2 CITY4 ) 	
 (in-city CITY4-CL3 CITY4 )
 (in-city CITY5-CL1 CITY5 ) 	
 (in-city CITY5-CL2 CITY5 ) 	
 (in-city CITY5-CL3 CITY5 )
 (in-city CITY1-AP1 CITY1 )
 (in-city CITY2-AP2 CITY2 )
 (in-city CITY3-AP3 CITY3 )	
 (in-city CITY4-AP4 CITY4 )
 (in-city CITY5-AP5 CITY5 )
 (airport CITY1-AP1 )
 (airport CITY2-AP2 )
 (airport CITY3-AP3 )
 (airport CITY4-AP4 )
 (airport CITY5-AP5)
)
((achieve-goals (  list
  (obj-at PACKAGE20 CITY2-CL3)
))))