32.51/33.48	unsat
