29.62/33.17	unsat
