34.12/34.27	unsat
