97.56/97.77	unsat
