502.62/503.42	unsat
