969.36/969.41	unsat
