32.96/34.62	unsat
