34.42/38.41	unsat
