502.95/507.03	unsat
