block1.js

pragma experimental SMTChecker;
contract SimpleExample {

    function f(int16 circle, int16 square, int16 triangle) public pure {
        require(circle + circle == 10);
        require(circle*square + square == 12);
        require(circle*square - triangle*circle == circle);
        assert(false);
    }
}