(define (problem btc2)
(:domain btc)
(:requirements :strips :equality :typing :conditional-effects :disjunctive-preconditions)
(:objects b0 - bomb
p0 p1 - package
	    t0  - toilet)
 (:init 

(not (defused b0))

(not (clog t0))
(oneof (in p0 b0)
    (in p1 b0)
)

 )
 (:goal (defused b0)))
