compile(goa_temp).
p
retract(option(unsat_limit,_)).
assert(option(unsat_limit,50)).
go(7,delete,supply).

statistics.

halt.
