641.71/645.67	unsat
