31.64/33.62	unsat
