29.62/33.90	unsat
