96.61/96.81	unsat
