30.66/33.30	unsat
