973.30/974.36	unsat
