970.07/972.55	unsat
