625.66/627.20	unsat
