965.08/966.82	unsat
