34.48/38.81	unsat
