639.34/639.75	unsat
