32.57/33.26	unsat
