670.91/673.34	unsat
