96.06/97.61	unsat
