969.88/977.00	unsat
