647.91/649.70	unsat
