96.68/96.70	unsat
