32.56/33.24	unsat
