94.08/96.62	unsat
