31.51/33.49	unsat
