640.55/645.20	unsat
