643.34/646.17	unsat
