640.51/645.03	unsat
