34.96/38.46	unsat
