97.06/97.26	unsat
