(declare-const s Int)
(declare-const x Int)
(declare-const x0 Int)
(declare-const y Int)
(declare-const y0 Int)
(declare-const B Int)
(declare-const A Int)
(assert (>=  (+  (* 1 A ) (* -1 B ) ) 1) )
(assert (>=  (+  (* 1 B ) ) 0) )
(assert (>=  (+  (* 1 x ) ) 1) )
(assert (>=  (+  (* -1 B ) ) -1) )
(assert (>=  (* -1 A ) -31) )
(minimize (+  (+  (+  (+  (* 3 A ) ) (* -3 B ) ) (* 3 x ) ) 13) )
(check-sat)
(get-objectives)
(eval B)
(eval A)
