For the following program, assume we do not know the input specifications for the program, however we do know that the output specification states that the value that prints to the screen must be a greater than $10(>10).$ Using the output specification as the program's post condition, solve for the other preconditions and postconditions such that each precondition is the weakest precondition.

$($N$/$A$\}$

int $x=20$

int $y=x-3$

int $z=2***y-12$

int result $=z-2$

cout $$ result;

$$

result $>12$

$q,($Yes $/$ No$)$ Does the value for $\text{'}x\text{'}$ meet the required postcondition you determined on the first line of the program?