92.42/92.62	unsat
