32.83/33.62	unsat
