; EXPECT: unsat
; COMMAND-LINE: --cegqi-si=all --sygus-out=status
(set-logic LIA)

(synth-fun fb () Int ((Start Int ((Constant Int)))))
(synth-fun fc () Int ((Start Int ((Constant Int)))))

(constraint (= fc (+ fb 10))) 

(check-synth)