965.41/966.92	unsat
