#ForSMT

2 sketches