96.92/98.96	unsat
