(define (problem btc20)
(:domain btc)
(:requirements :strips :equality :typing :conditional-effects :disjunctive-preconditions)
(:objects b0 - bomb
p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 - package
	    t0  - toilet)
 (:init 

;(not (clog t0))
;(not (defused))
(oneof
(in p0 b0)
(in p1 b0)
(in p2 b0)
(in p3 b0)
(in p4 b0)
(in p5 b0)
(in p6 b0)
(in p7 b0)
(in p8 b0)
(in p9 b0)
(in p10 b0)
(in p11 b0)
(in p12 b0)
(in p13 b0)
(in p14 b0)
(in p15 b0)
(in p16 b0)
(in p17 b0)
(in p18 b0)
(in p19 b0)
)
(unknown (in p0 b0))
(unknown (in p1 b0))
(unknown (in p2 b0))
(unknown (in p3 b0))
(unknown (in p4 b0))
(unknown (in p5 b0))
(unknown (in p6 b0))
(unknown (in p7 b0))
(unknown (in p8 b0))
(unknown (in p9 b0))
(unknown (in p10 b0))
(unknown (in p11 b0))
(unknown (in p12 b0))
(unknown (in p13 b0))
(unknown (in p14 b0))
(unknown (in p15 b0))
(unknown (in p16 b0))
(unknown (in p17 b0))
(unknown (in p18 b0))
(unknown (in p19 b0))
 )
 (:goal (defused b0)))
