534.12/535.10	unsat
