32.15/33.24	unsat
