639.17/641.27	unsat
