638.10/638.11	unsat
