34.21/36.27	unsat
