33.94/34.27	unsat
