670.22/672.09	unsat
