92.27/92.62	unsat
