626.52/627.75	unsat
