96.88/96.96	unsat
