639.04/642.30	unsat
