639.60/642.03	unsat
