646.39/647.85	unsat
