32.30/33.27	unsat
