32.89/33.49	unsat
