94.86/97.62	unsat
