627.03/629.30	unsat
