947.05/954.30	unsat
