500.44/502.47	unsat
