962.01/966.70	unsat
