644.39/646.87	unsat
