97.00/97.26	unsat
